67.65/69.72	unsat
