31.70/33.95	unsat
