Little clean-ups in sat.pl
satisfy in new interface. So dirty code. Not optimal, so hacked code.