for the SAT tool have look at this post, hopes it helps Several issues with Salome 9.12 in tuxedOs - #20 by Trophime