matszpk/stuff - Revision 3119: /math-progs/mysat