Exhaustive practice, eight queens problem