34.72/35.34	unsat
