The complexity class of decision problems whose

all solutions are verifiable in polynomial time.