38.92/39.42	unsat
