AC3Solver now returns a random outfit with all binary contstraints satisfied. This is passed to Outfitter, which prints the outfit. Preliminary testing seems to confirm that BF and AC3 return the same outfits.