Sorry if those aren't available, I just ran a scan on a bunch of names then put them into 101domains bulk register and extracted the ones it said are available (my script and 101domains aren't the most accurate).
Hopefully at least one are available and may be of use to someone.