symmetry-breaking-sat-experiment.zip