use Satallax instead of Satallax-MaLeS