32.74/34.83	unsat
