27.37/30.31	unsat
