Test satisfaisability of the input formula

--> Valid