發送短信: Approximately counting answers to conjunctive queries with disequalities and negations