27.25/30.16	unsat
