41.70/41.83	unsat
