Notty should fix it (about 77% attenuation), or especially US-05 (about 80%)... BUT.... you can't just pitch a pack straight in and expect it to perform well. This is a case where only actively fermenting yeast will help the beer. So, you can make a good sized yeast starter with one of those two yeasts, or any other highly attenuative yeast of your choice, let the starter ferment for a couple of days, then add that yeast starter in, keep the beer warmer, closer to 65-70 F, and hope for the best. It should work.
Did you add that pack of Notty without making a starter or raising the temp? Yup...