On the satisfiability problem for SPARQL patterns