Value Of A 1980 Proof Set