knuth version of sat13-orig
removed sat11-recent temp file
changes 28-4
changes 28-4