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