better.sat
better.sat