20.65/20.70	unsat
