Solving Non-Standard Very Hard Problems