50.37/53.02	unsat
