40.83/40.92	unsat
