ResultSet
result variable: y
size: 1
solution:
  binding:
    value: p1
    variable: y