SAT and transfering