38.91/39.05	unsat
