Let x 1 (12/33)

Let x 1