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