35.74/35.84	unsat
