solve up to 25 queens problem in 20s