Solve BDSC for Groth16(+Testudo) with Caulk