JCSP Exemplar 18 19 038 (23)