Demo: 8-queen calculation