Number of solutions: 1193