Function SCIPrelaxMarkUnsolved 

pub unsafe extern "C" fn SCIPrelaxMarkUnsolved(relax: *mut SCIP_RELAX)

marks the current relaxation unsolved, s.t. the relaxation handler is called again in the next solving round