% https://open.kattis.com/problems/heliocentric
% 1s
% 1.7 Easy

% Earth: 365 days orbit
% Mars:  687 days

% Picat
% Testing the maximum domain
% Nope, it doesn't do what I thought....

import sat.

main => go.

go :-
    E :: 0..365,
    M :: 0..687,
    T :: 0..100000000,
    (E+T) mod 365 #= 0,
    (M+T) mod 687 #= 0,
    solve($[max(T)],T),
    println(t=T).