basisoplossing slither bijna; degree 0 of 2 zonder nonvar, geen search nodig? duurt enorm lang; degree 0 of 2 met 3 nonvars wel search nodig (waarom zou dit beter werken?)