For running SOS+ you need to limit the variables to the set of
`s`, `pp`, and `ret` for it to be able to find the perfect repair.