40.72/40.83	unsat
