pseudocode for IsUnsolvable::noclipping_mark3()