let tioi = "lecture_et_resolution \"test_resolution_4.instance\";;"