/***
!Test
expected: !Result
  status: SATISFIED
  solution: !Solution
    x: []
***/

array[int] of int: x :: add_to_output = [];
solve satisfy;