34.88/35.00	unsat
