FAUST

If it could be solved by humans, it would have already been solved.