pseudo code started transform to 3sat