Added 3_SAT files from removing independent sets