9.65/10.68	unsat
