kronheimer-mrowka recently proved that the dehn twist along a 3-sphere in the neck of $k3\#k3$ is not smoothly isotopic to the identity. this provides a new example of self-diffeomorphisms on 4-manifolds that are isotopic to the identity in the topological category but not smoothly so. (the first such examples were given by ruberman.) \\ \\ in this talk, we study the bauer-furuta invariant as an element in the pin(2)-equivariant stable homotopy group of spheres. we use it to show that this dehn twist is not smoothly isotopic to the identity even after a single stabilization (connected summing with the identity map on s2 cross s2). this gives the first example of exotic phenomena on simply-connected smooth 4-manifolds that do not disappear after a single stabilization. in particular, it implies that one stabilization is not enough in the diffeomorphism isotopy problem for 4-manifolds. it gives an interesting comparison with auckly-kim-melvin-ruberman-schwartz's theorem that one stabilization is enough in the surface isotopy problem.