4x4_problem