SATisfying Solutions to Difficult Problems