solving the n-queens problem, Kale (1990)
