TSTP Solution File: PRO005+2 by Nitpick---2016