solve (4x