39.39/39.58	unsat
