Candidates for ersatz-toysat