Zenon: Z3 5.355/10
Saving the universe is as easy as 1... 2... Z!
IMDB