Started BooleanMaxWalkSat.