SAT->3SAT working but cannot remove old clause will have to create new SAT instance instead, or work on existing clause