ForestSAT Lean Canvas