Decision tree for classifying solvable y/n