39.12/39.25	unsat
