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