40.82/40.97	unsat
