Delni popravki v DPLL mapi, delni v Prevajanju na SAT