crucial.sat