Rating:

Z3 to the rescue!