Use 20-queen problem as a more meaningful example