34.93/35.00	unsat
