The Phase Diagram of 1-in-3 Satisfiability Problem - Jack Raymond; Andrea Sportiello; Lenka Zdeborová (Phys. Rev. E, 2007)