[setr]

Isn't the entire NP class hard to solve, cheap to verify? Im sure some economically valuable problem can boil down to an NP problem...