Funny thing, a few weeks ago a student came with that game and we made an algorithm to solve it, purely based on set theory.
