9.65/10.09	unsat
