39.65/40.24	unsat
