31.88/33.19	unsat
