Started BooleanMCSat. More on BooleanMaxWalkSat.