32.64/34.83	unsat
