11.65/11.82	unsat
