TSTP Solution File: SET016+1 by Nitpick---2016