31.82/33.90	unsat
