40.35/41.82	unsat
