4046.sat