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