39.72/39.87	unsat
