27.83/27.92	unsat
