Check solution: - Constraint 1: 9139 % 13 = 0 - Constraint 2: 9139 % 19 = 0 - Constraint 3: 9139 % 37 = 0