27.82/29.90	unsat
