11.65/16.39	unsat
