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