Dr. Fill Crosswords and An Implemented Solver for Singly Weighted CSPs