TSTP Solution File: PUZ133+2 by Refute---2015