13.65/13.71	unsat
