31.88/33.63	unsat
