multilevel done with liec6. Inconclusive result