fixed unit clause optimization
took out printlns
Added FUIP
Added NoGoods.

Sat example still works, but I don't
really know if the NoGood implementation
is right.
yup. Seems broken