27.98/31.92	unsat
