27.52/30.13	unsat
