Solution #1:
  s0 = 16 :: SInteger
Solution #2:
  s0 = 28 :: SInteger
Found 2 different solutions.