32.70/34.58	unsat
