34.18/35.25	unsat
