40.32/40.73	unsat
