added MaxSat