31.28/33.64	unsat
