JCSP Exemplar 18 19 038 (17)