38.75/39.69	unsat
