This paper is going in file 13. I don't know to whom it belongs.
Nothing on the computer works. It is inactive.
OCS Preparation 1 SAT Terms