27.37/27.55	unsat
