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