38.60/39.69	unsat
