39.41/40.52	unsat
