34.03/35.36	unsat
