updated but have not tested brute_fset_feas.py