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