TSTP Solution File: SET605^5 by Nitpick---2016