+ try to solve cfg using monte-karlo logical solver