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