40.65/40.86	unsat
