11.65/15.17	unsat
