SatHelper to split in problems
Formula and Clause evaluations.
SatInstance exception when the problem instance is malformed.