quark.sat