18.satsmap