B Decrease 2 Maxsat