Partial Unweighted MaxSMT solver on top of Z3