A simple logic-based number placement puzzle