semsolve4.m 413 Bytes