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