60.65/60.87	unsat
