sbv-7.0: SBVTestSuite/GoldFiles/allSat1.gold

Solution #1:
  x = Q!val!0 :: Q
  y = Q!val!0 :: Q
This is the only solution.