TSTP Solution File: PUZ073+1 by Refute---2015