semtex2 done