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