Envoyer par SMS: Harnessing machine learning to guide phylogenetic-tree search algorithms