Exit gracefully on CNF