Choose from options: Determine if the sentence is true based on the text below:
Geraud Senizergues was 42 when he won the rpize.

Géraud Sénizergues (born 1957) is a French computer scientist at the University of Bordeaux. With Yuri Matiyasevich he obtained results about the Post correspondence problem. He won the 2002 Gödel Prize "for proving that equivalence of deterministic pushdown automata is decidable"
Options are:
 (1). Yes.
 (2). It's impossible to say.
 (3). No.
(3).