Submissions for team DeepLogic Force on problem shadows_main