read trinity.lp
optimize
display solution
write solution trinity.sol
quit