10.65/11.14	unsat
