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