Exact countermodel certificate generated; see submission.json.
