27.63/27.72	unsat
