40.60/40.72	unsat
