4X4 Example solves (by a Sub 30 Solver)