27.52/28.13	unsat
