27.78/27.88	unsat
