try using symmetry reduction at phase 3