27.82/27.95	unsat
