27.47/27.73	unsat
