Fix 8-queens problem in 4.3