skip; x0 := read (); x1 := read (); y := 22+23!=x0+35; write (y)