SAT->3SAT works returns new instance.