Tree puzzle from The World Puzzle Championship, modeled as Integer Linear Programming Constraint Satisfaction Problem