TSTP Solution File: ARI282_1 by SRASS---0.1