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