public String toString(){
		String clause = "";
		for (int i = 0; i < literals.size() - 1; i++) {
			clause += getLiteral(i) + " OR ";
		}
		if(literals.size() > 0){
			clause += getLiteral(literals.size() -1); 
		}
		return clause;
	}