38.45/39.25	unsat
