TSTP Solution File: PUZ016-1 by SInE---0.4