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