Phylogenetic Constraint Satisfaction Problems: Satisfiability, Approximation, And Local-Global Tradeoffs