% |X| = 22   |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).
Exists(x22).
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(x19, x14, true, false, false, y36).
Conjunct(true, x11, true, y44, false, y23).
Conjunct(x18, true, true, false, y28, y39).
Conjunct(true, true, x3, y43, y39, false).
Conjunct(x14, true, x7, false, y33, false).
Conjunct(true, true, true, y40, y24, y32).
Conjunct(true, true, x15, y30, y41, false).
Conjunct(true, true, true, y36, y34, y25).
Conjunct(true, true, x10, y42, x11, false).
Conjunct(y32, true, x14, false, x22, false).
Conjunct(x10, y38, true, false, false, y37).
Conjunct(true, true, true, y23, y32, x17).
Conjunct(y35, true, true, false, y28, y40).
Conjunct(true, y35, true, x17, false, y31).
Conjunct(x8, y33, true, false, false, y27).
Conjunct(y40, true, true, false, y36, y25).
Conjunct(true, true, true, x18, x3, y36).
Conjunct(y28, y44, y32, false, false, false).
Conjunct(true, true, true, y26, y38, x20).
Conjunct(true, true, true, y34, x16, y39).
Conjunct(y42, true, x4, false, x10, false).
Conjunct(true, true, y29, y23, y32, false).
Conjunct(y35, true, true, false, y42, y26).
Conjunct(true, true, true, y40, y37, x16).
Conjunct(true, true, true, x1, x2, y29).
Conjunct(y44, y30, y40, false, false, false).
Conjunct(y43, x8, x11, false, false, false).
Conjunct(x12, true, true, false, x8, y43).