34.00/35.77	unsat
