Vintage Craftsman 1/4" x 5/16" Double Open End Wrench