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