13.65/13.96	unsat
