Constraint-Based Metabolic Modeling of Synechococcus elongatus PCC 11801 and PCC 11802 for Photosynthetic Biomanufacturing. — SciRadar