I a totally new to sat4j solver.. it says some cnf file should be given as input is there any possible way to give the rule as input and get whether it is satisfiable or not? my rule will be of ...