( 2S1 ! ))