ECS 220 2b:4.3-3 problems not obviously in NP

From David Doty