40.20/40.35	unsat
