38.66/39.61	unsat
