50.67/50.88	unsat
