% |X| = 21   |Y| = 22
Exists(x1).
Exists(x2).
Exists(x3).
Exists(x4).
Exists(x5).
Exists(x6).
Exists(x7).
Exists(x8).
Exists(x9).
Exists(x10).
Exists(x11).
Exists(x12).
Exists(x13).
Exists(x14).
Exists(x15).
Exists(x16).
Exists(x17).
Exists(x18).
Exists(x19).
Exists(x20).
Exists(x21).
Forall(y23).
Forall(y24).
Forall(y25).
Forall(y26).
Forall(y27).
Forall(y28).
Forall(y29).
Forall(y30).
Forall(y31).
Forall(y32).
Forall(y33).
Forall(y34).
Forall(y35).
Forall(y36).
Forall(y37).
Forall(y38).
Forall(y39).
Forall(y40).
Forall(y41).
Forall(y42).
Forall(y43).
Forall(y44).
Conjunct(true, true, true, y35, y25, y26).
Conjunct(x17, x19, y29, false, false, false).
Conjunct(x9, true, x8, false, y28, false).
Conjunct(true, y43, true, y27, false, x17).
Conjunct(true, y24, true, y36, false, x10).
Conjunct(true, y23, true, y34, false, y36).
Conjunct(true, true, true, y40, y43, y39).
Conjunct(true, true, y26, x10, y28, false).
Conjunct(true, true, true, y41, y29, y26).
Conjunct(true, true, true, y34, y39, y42).
Conjunct(true, true, y35, x18, x6, false).
Conjunct(x18, x2, y34, false, false, false).
Conjunct(x4, x8, y40, false, false, false).
Conjunct(y25, y28, true, false, false, y27).
Conjunct(x10, x3, y38, false, false, false).
Conjunct(y39, true, y44, false, x9, false).
Conjunct(x19, y24, true, false, false, y39).
Conjunct(true, true, true, x11, y23, y29).
Conjunct(x2, x7, true, false, false, y43).
Conjunct(true, y23, true, x4, false, x14).
Conjunct(x13, true, true, false, y27, x12).
Conjunct(y34, true, true, false, x17, y41).
Conjunct(x1, y34, x5, false, false, false).
Conjunct(x9, true, y24, false, x20, false).
Conjunct(true, y26, y41, x21, false, false).
Conjunct(true, y25, true, x13, false, y28).
Conjunct(y43, true, y29, false, x2, false).
Conjunct(true, x7, y26, y36, false, false).