5 classical crossings. First, we construct all nonlocal prime knots in the thickened torus T× I
which have diagrams with≤ 5 crossings and admit no destabilizations. Then we use a
generalized version of the Kauffman polynomial to prove that all those knots are different.
Finally, we convert the knot diagrams in T thus obtained into virtual knot diagrams in the
plane.