38.13/41.83	unsat
