10.65/11.47	unsat
