In general, we may get rid of these fractional solutions nodes by realising that at most one stable node may exist in a clique. So we introduce this set of inequalities where the sum has to be not greater than one for all maximal cliques K.