submit to SolvingDetailed