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