% https://open.kattis.com/problems/sok % 1s % 1.8 Easy % Picat MIP import mip,util. main :- S = [L.split(" ").map(to_int) : L in read_file_lines()], writeln(s=S), s(S), nl. s([[A,B,C],[I,J,K]]) :- println([A,B,C,I,J,K]), Orange :: 0.0..A, Apple :: 0.0..B, Pineapple :: 0.0..C, Tot is I+J+K, T #= Orange + Apple + Pineapple, Orange*Tot #= I*T, Apple*Tot #= J*T, Pineapple*Tot #= K*T, solve($[max(T)],[Orange,Apple,Pineapple]), writeln([t=T,orange=Orange,apple=Apple,pineapple=Pineapple]), AD is (A-Orange), BD is (B-Apple), CD is (C-Pineapple), writeln([AD,BD,CD]).