Proving phylogenetic trees minimal with l-clustering and set partitioning