TSTP Solution File: NUM377+1.025 by Nitpick---2016