39.47/39.61	unsat
