Finish off SAT>IP implementation. Hopefully it works...