Yes. The first result shows that SI is in NP. The second shows that CP ≤_p SI. Since CP is known to be NP-complete, that is all we need.