34.29/35.00	unsat
