fix a few typos
polish after the final, add 3SAT->VERTEX COVER