A program to solve Donaldson-Tian-Yau’s conjecture