Main Search Unsatisfied A