8.65/10.33	unsat
