The n queens problem