38.22/41.69	unsat
