27.82/27.92	unsat
