41.38/42.76	unsat
