1118
Revert "1118"

This reverts commit 7b98b8798af7392b15ebf21aff792e3f9478c5e6.
1119

Stable, fast(4hour for 1000 years), no redundant constraint elimination
technique.
1124

Seems to work