TSTP Solution File: SET954+1 by Nitpick---2016