sbv-14.4: SBVTestSuite/GoldFiles/allSat1.gold

Solution #1:
  x = Q_0 :: Q
  y = Q_0 :: Q
This is the only solution.