TSTP Solution File: SET621+3 by Nitpick---2016