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