d2.pdf	/vol/rzm3/EMIS/journals/SAT/2.pdf	ftp.icm.edu.pl	70
02.ps	/vol/rzm3/EMIS/journals/SAT/2.ps	ftp.icm.edu.pl	70
d5.pdf	/vol/rzm3/EMIS/journals/SAT/5.pdf	ftp.icm.edu.pl	70
05.ps	/vol/rzm3/EMIS/journals/SAT/5.ps	ftp.icm.edu.pl	70
hauthors.html	/vol/rzm3/EMIS/journals/SAT/authors.html	ftp.icm.edu.pl	70
hconcepts.html	/vol/rzm3/EMIS/journals/SAT/concepts.html	ftp.icm.edu.pl	70
dconcepts.pdf	/vol/rzm3/EMIS/journals/SAT/concepts.pdf	ftp.icm.edu.pl	70
0concepts.ps	/vol/rzm3/EMIS/journals/SAT/concepts.ps	ftp.icm.edu.pl	70
hcopy.html	/vol/rzm3/EMIS/journals/SAT/copy.html	ftp.icm.edu.pl	70
0ctandcomment.tex	/vol/rzm3/EMIS/journals/SAT/ctandcomment.tex	ftp.icm.edu.pl	70
heditors.html	/vol/rzm3/EMIS/journals/SAT/editors.html	ftp.icm.edu.pl	70
0epsf.tex	/vol/rzm3/EMIS/journals/SAT/epsf.tex	ftp.icm.edu.pl	70
1images	/vol/rzm3/EMIS/journals/SAT/images	ftp.icm.edu.pl	70
hindex.html	/vol/rzm3/EMIS/journals/SAT/index.html	ftp.icm.edu.pl	70
0index.junk	/vol/rzm3/EMIS/journals/SAT/index.junk	ftp.icm.edu.pl	70
0instruct.fig	/vol/rzm3/EMIS/journals/SAT/instruct.fig	ftp.icm.edu.pl	70
dinstruct.pdf	/vol/rzm3/EMIS/journals/SAT/instruct.pdf	ftp.icm.edu.pl	70
0instruct.ps	/vol/rzm3/EMIS/journals/SAT/instruct.ps	ftp.icm.edu.pl	70
0instruct.tex	/vol/rzm3/EMIS/journals/SAT/instruct.tex	ftp.icm.edu.pl	70
0journal.tex	/vol/rzm3/EMIS/journals/SAT/journal.tex	ftp.icm.edu.pl	70
0junk.	/vol/rzm3/EMIS/journals/SAT/junk.	ftp.icm.edu.pl	70
0latextemplate.tex	/vol/rzm3/EMIS/journals/SAT/latextemplate.tex	ftp.icm.edu.pl	70
hlinks.html	/vol/rzm3/EMIS/journals/SAT/links.html	ftp.icm.edu.pl	70
hlist.html	/vol/rzm3/EMIS/journals/SAT/list.html	ftp.icm.edu.pl	70
5major.zip	/vol/rzm3/EMIS/journals/SAT/major.zip	ftp.icm.edu.pl	70
hmirror.html	/vol/rzm3/EMIS/journals/SAT/mirror.html	ftp.icm.edu.pl	70
1papers	/vol/rzm3/EMIS/journals/SAT/papers	ftp.icm.edu.pl	70
hpapers.html	/vol/rzm3/EMIS/journals/SAT/papers.html	ftp.icm.edu.pl	70
hprinciples.html	/vol/rzm3/EMIS/journals/SAT/principles.html	ftp.icm.edu.pl	70
0proceed.tex	/vol/rzm3/EMIS/journals/SAT/proceed.tex	ftp.icm.edu.pl	70
hreferencing.html	/vol/rzm3/EMIS/journals/SAT/referencing.html	ftp.icm.edu.pl	70
0refmac.tex	/vol/rzm3/EMIS/journals/SAT/refmac.tex	ftp.icm.edu.pl	70
0sat.cls	/vol/rzm3/EMIS/journals/SAT/sat.cls	ftp.icm.edu.pl	70
0satmacro.25apr05.tex	/vol/rzm3/EMIS/journals/SAT/satmacro.25apr05.tex	ftp.icm.edu.pl	70
0satmacros.tex	/vol/rzm3/EMIS/journals/SAT/satmacros.tex	ftp.icm.edu.pl	70
0satmacros0.tex	/vol/rzm3/EMIS/journals/SAT/satmacros0.tex	ftp.icm.edu.pl	70
0satpaper.tex	/vol/rzm3/EMIS/journals/SAT/satpaper.tex	ftp.icm.edu.pl	70
0test	/vol/rzm3/EMIS/journals/SAT/test	ftp.icm.edu.pl	70
0textemplate.tex	/vol/rzm3/EMIS/journals/SAT/textemplate.tex	ftp.icm.edu.pl	70
.