34.02/35.80	unsat
