SolBool constructor

SolBool()