include IsUnsolvable::noclipping_mark1 in the algorithm -- it proves a noticable speedup!