Finding and certifying a large hidden clique in a semirandom graph | Synapse