Tailoring Pattern Databases for Unsolvable Planning Instances