34.82/34.96	unsat
