TSTP Solution File: SET058-6 by Nitpick---2016