La derivazione dell'albero avviene nella classe Solve