made bounding box smaller to improve performance.
new heuristic solvable() for pruning search tree.