Potentially No-Solution Challege: Complete Automation?