I solved the stablesats problem