Rework Statisfiable
Rework Statisfiable

It's an old bot so the code was a bit dated too. This should get it
back on track.

MasterDuke17/whateverable,perl6/whateverable,perl6/whateverable,perl6/whateverable