solved f4 max_sos_dp