public boolean localSearchSat(ClauseSet clauseSet) {
		List<Integer> variables = clauseSet.getVariables();
		int radius = Math.round(variables.size() / 2.0f);
		boolean satisfiable = localSearch(clauseSet, new Assignment(true),
				radius);
		if (!satisfiable) {
			satisfiable = localSearch(clauseSet, new Assignment(false), radius);
		}
		if (satisfiable) {
			System.out.println("Following assisgnment satisfies clause set: "
					+ clauseSet);
			System.out.println(satisfieingAssignment
					.getAssignmentsForVaraibles(variables));
		} else {
			System.out.println("No assisgnment satisfies clause set: "
					+ clauseSet);
		}
		return satisfiable;
	}