QuadSAT funding