public void repair(Clause _clause, int counter) {
		
		counter += 1;
		
		System.out.println("Counter: " + counter);
		
		System.out.println("\nRepairing clause: " + _clause.toString() + "\n");
		
		_clause.assignRandomValues();
		
		mExpression.printValues();
		
		for (Clause clause : mExpression.getClauses()) {
			
			if (clause.sharesVariablesWith(_clause)) {
				
				if (!mExpression.getValue()) {
					
					this.repair(clause, counter);
					
				}
				
			}
			
		}
		
	}