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