sicp 2.3.1
8 queen problem