Works, but would take 1e21 years to find solutions