Compilation steps:

1. update "config.h" for specification of the SAT-solver to be used.
2. type "make" to compile the program.
3. run "./verbs ver/p1uu9ik" to check the program execution.
