Text this: A Separator Theorem for Hypergraphs and a CSP-SAT Algorithm