34.62/34.73	unsat
