34.49/35.24	unsat
