[Jacob Hutnyk] 4x4 Example Solves with Yau