TSTP Solution File: PUZ146^1 by Refute---2015