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