9.65/10.08	unsat
