( 1032 ) S. G . Sandholm.