9.65/11.80	unsat
