:- true pred oins(X,_A,_B)
         : ( num(X), list(_A,num), var(_B) )
        => ( num(X), list(_A,num), rt2(_B), length(_A,_C) )
         + cost(ub,steps,_C+2).