[01;11] [0;10]
(*no solution*) *)