Constraint E1,E2,E3 (with optimization), E4 slighty broken
E1,E2,E3 optimized, OnSaturday, E4 broken