NP-난해성은 실무 실패 보장이 아니다, SAT·최적화 도구 사례와 반론 · cho.sh