70.65/70.76	unsat
