Use vertical ordering for 8queens.