now each formula is wrapper in parenthesis
added a set of interesting unsat formulas