12.65/12.70	unsat
