(define (problem researchers-7-1) (:domain researchers) (:objects researcher1 - computer_scientist researcher2 - mathematician researcher3 - mathematician researcher4 - computer_scientist researcher5 - mathematician researcher6 - computer_scientist researcher7 - mathematician institution1 - institution) (:init (works_at researcher1 institution1) (works_at researcher2 institution1) (works_at researcher3 institution1) (works_at researcher4 institution1) (works_at researcher5 institution1) (works_at researcher6 institution1) (works_at researcher7 institution1) ) (:goal (and (coauthor researcher5 researcher7) (coauthor researcher4 researcher6) (coauthor researcher1 researcher5) (coauthor researcher1 researcher4) (coauthor researcher3 researcher5) (coauthor researcher2 researcher5) (coauthor researcher3 researcher7) (coauthor researcher4 researcher5) (coauthor researcher6 researcher7) (coauthor researcher2 researcher6) ) ) )