Made some spelling corrections, changed the proof that a solution to CNF gives solution to NAWW