public ArrayList<Boolean> solve()
    {
        double iterations = Math.pow(2,varCount);  //2^varCount
        double start = System.currentTimeMillis();    
        int tenth = (int) iterations/10;

        for(int i = 0; i<(iterations);i++)
        {
            if(i%tenth == 0)
            {
                System.out.println(System.currentTimeMillis()- start);
            }
            ArrayList<Boolean> currentList = intToBooList(i);
            if(formula.satisfies(currentList))
            {
                System.out.println(currentList);
                return currentList;
            }
        }
        System.out.println("No Match");
        return null;  
    }