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