fixed solver for 4x4