Fix variables count.
Fix sat to jobs output.
Fix parsing universe in SAT solver.
Fixed forced operations.