40.29/40.35	unsat
