40.62/40.76	unsat
