public static boolean isFormulaSAT(Vector<Clause> clauses) {
		if(SsatSolver.DEBUG) System.out.println("Seeing if formula is SAT");
		for(int i = 0; i < clauses.size(); i++) {
			Clause c = clauses.get(i);
			//try to find a clause that is not yet sat
			if(! c.isSatisfied()) {
				if(SsatSolver.DEBUG) System.out.println("Clause " + i + " is not satisfied");
				return false;
			}
		}
		//didn't find any clauses that weren't satisfied, so it is SAT
		return true;
	}