8.65/8.71	unsat
