Update 3sat.sml