39.35/39.58	unsat
