sannprófun í exnova