RPC/results/output.sample
2025-12-02 18:03:03 +01:00

5 lines
74 B
Plaintext

SAT
0 0 0 0 40 20 10
0 0 20 0 40 30 10
0 0 30 0 40 40 20
0 0 0 10 40 30 20