Accepting Fragmetric’s $fragSOL on Mantis