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