Describe second Pebbling SAT encoding