On the way, still something I need to understand on Titan_solve