[01;0] [0;10]
(* shortest solution: 0 1 *)