40.58/40.83	unsat
