public String toString() {
		String returnString = "Clause has " + literals.size() + " literals\t";
		for(Literal l : literals) {
			returnString = returnString.concat(l + "\t");
		}
	
		return returnString;
	}