On the Satisfiability Problem of Patterns in SPARQL 1.1