On the Satisfiability Problem for SPARQL Patterns