30.65/31.96	unsat
