37.22/40.62	unsat
