8.65/8.77	unsat
