Solver NO 🤖, Bencb YES 😱