Answering Queries Over Inconsistent Databases Using Sat Solvers