34.82/34.92	unsat
