Delete ac3solvable_example