goals: {(10, 12), (5, 9), (0, 12), (1, 3), (0, 5), (8, 12)} frattini: [(0, 5), (0, 12), (0, 1)]