Loading PUZ031p1.pri ...
Preprocessing ...
Constructing countermodel ...

VALID

