c File:  hamming6-4.sol
c
c Clique Solution of:  hamming6-4.clq
c
c SOLVER: Jean-Marie Bourjolly (jean-m@crt.umontreal.ca), Paul Gill,
c         Gilbert Laport, Helene Mercure
c
c COMMENT: Solution is optimal.
c
s cqu       4
v         15
v         20
v         40
v         51