Satisfiability of graph