better diagnosis priting for sat
restore writes for modeified files