Zaslat SMS: Approximately counting answers to conjunctive queries with disequalities and negations