29.65/30.31	unsat
