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