33.46/34.68	unsat
