solved d1 compatible
solved d1 min_intpart_exhaustive