38.65/41.12	unsat
