public void giveValues(){
		// pernaei apo olous tous komvous dinontas tous times mexri na mhn apomeinei kanenas pou na na min exei parei timi
		// phgainei apo ton enan komvo stous geitounikous tou 
		for (Literal l : lNodes){
			Main.compFound=false;
			dfs(l,l);
			if ((!l.beenValued())&&(Main.compFound==false)){ // ksekinaei apo komvo pou den katalhgei sto sumplhrwmatiko tou
				l.giveValue(true);
				l.getComplement().giveValue(false);
				System.out.println(l.toString()+" : "+l.getValue());
				System.out.println(l.getComplement().toString()+" : "+l.getComplement().getValue());
				for (Literal ll : adj.get(l)){
					if (!ll.beenValued()){
						ll.giveValue(true);
						ll.getComplement().giveValue(false);
						System.out.println(ll.toString()+" : "+ll.getValue());
						System.out.println(ll.getComplement().toString()+" : "+ll.getComplement().getValue());
					}
				}
			}
		}
		// se periptwsi pou den uparxei alhthopoios timodosia kapoioi komvoi de tha paroun times
		// tis vazw tuxaia afou opws kai na einai den mporoun na ikanopoihsoun to logiko tupo
		for (Literal l:lNodes){
			if (!l.beenValued()){
				l.giveValue(true);
				l.getComplement().giveValue(false);
				System.out.println(l.toString()+" : "+l.getValue());
				System.out.println(l.getComplement().toString()+" : "+l.getComplement().getValue());
			}
		}
	}