38.42/41.89	unsat
