exercise**: Karp reduction** 🤖