それで、ソトがDFAまたはオプション（非常に幸運であれば）されるまでどれくらいかかると思いますか？