34.40/35.25	unsat
