public boolean isUnsatisfied() {
		for(Literal l : literals) {
			//try to find at least 1 literal that is assigned to a true value or assigned yet
			//in other words, try to find a literal that is satisfied or the variable is unassigned
			//if we can find 1 such literal, this clause is not UNSAT
			if(l.isSatisfied() || l.getVariable().getAssignment() == Variable.UNASSIGNED) return false;
		}

		return true;
	}