Holography For Satisfiability