public static void main(String[] args) {
		if (args.length != 2) {
			greska();
		}

		int algNum = -1;
		try {
			algNum = Integer.parseInt(args[0]);
		} catch (NumberFormatException ex) {
			greska();
		}

		File file = new File(args[1]);
		if (!file.exists()) {
			greska();
		}

		List<String> lines = null;
		try {
			lines = filterFile(file);
		} catch (IOException e) {
			greska();
		}

		SATFormula formula = SATFormula.getClauses(lines);

		if (algNum == 1) {
			algoritam1(formula);
		} else if (algNum == 2) {
			algoritam2(formula);
		} else if (algNum == 3) {
			algoritam3(formula);
		}
	}