34.82/39.85	unsat
