public bool Satisfiable() { scc.FindComponents(); for (int i = 1; i <= n; i++) { if (scc.component[getNum(i)] == scc.component[getNum(-i)]) { return(false); } } return(true); }