Solving HPP and SAT by P Systems with Active Membranes and Separation Rules