TSTP Solution File: PUZ129+2 by Nitpick---2016