A family of P systems which solve 3-SAT