TSTP Solution File: SET746+4 by Nitpick---2016