TSTP Solution File: SET863-1 by Nitpick---2016