11.65/13.95	unsat
