add information of SOS to 3.tex
add information of MANTIS OS to 3.tex