t7143-solver-Rat42.pl 454 Bytes