Working on NanoSatisfi challenges