51.63/51.81	unsat
