TSTP Solution File: PUZ015-2.006 by SInE---0.4