Few models corrected; Maxwalksat fixed