38.42/40.78	unsat
