Implement a different SAT encoding of Pebbling