Is Bernat Satin discontinued at Canadian Michael's stores?

The Discover Single Crochet patterns both specify Bernat Satin as the yarn; however, it looks like the yarn is discontinued at my Michael's location in BC, Canada. Is this the case?

Should we substitute Red Heart Soft or Bernat Super Saver?

Thanks.