41.65/62.15	unsat
