TSTP Solution File: SET020^7 by Nitpick---2016