41.73/41.85	unsat
