Add examples for solving formula in FlatCNF form.