27.15/27.35	unsat
