51.25/57.48	unsat
