TSTP Solution File: SET795+4 by Nitpick---2016