27.06/27.55	unsat
