27.52/28.48	unsat
