The specification of obeticholic acid produced by Lucius is 5 mg × 30 tablets per box, with a reference price of $23.