public static void main(String[] args) {
		final String SAT = "sat";
		final String UNSAT = "unsat";

		int n = 0;
		LocalSearchSAT lss = new LocalSearchSAT();

		File satFolder = new File(SAT);
		boolean checkSAT = true;
		for (File file : satFolder.listFiles()) {
			ClauseSet clauseSet = Parser.get(file);
			System.out.println("File: " + file.getName());
			if (clauseSet != null) {
				checkSAT = checkSAT && lss.localSearchSat(clauseSet);
				n++;
			}
		}

		File unsatFolder = new File(UNSAT);
		boolean checkUNSAT = false;
		for (File file : unsatFolder.listFiles()) {
			ClauseSet clauseSet = Parser.get(file);
			System.out.println("File: " + file.getName());
			if (clauseSet != null) {
				checkUNSAT = checkUNSAT || lss.localSearchSat(clauseSet);
				n++;
			}
		}

		System.out.println("checked files: " + n);
		if (checkSAT) {
			System.out.println("SAT test successfull");
		} else {
			System.out.println("SAT test error");
		}

		if (checkUNSAT) {
			System.out.println("UNSAT test error");
		} else {
			System.out.println("UNSAT test successfull");
		}
	}