sbv-11.0: SBVTestSuite/GoldFiles/allSat1.gold

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