3x x 3x solver